Instance Verification Kit (IVK)

spin lock @ [51921+22+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
__dwc3_gadget_ep_disable [16975+24+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_cleanup_done_reqs [47541+22+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_disconnect_gadget [51740+22+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_endpoint_interrupt [49655+23+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_endpoint_transfer_complete [48800+31+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_ep0_complete_data [18377+22+/linux-3.17-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_complete_status [19765+24+/linux-3.17-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_delegate_req [12513+21+/linux-3.17-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_inspect_setup [17574+22+/linux-3.17-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_interrupt [24982+18+/linux-3.17-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_set_config [12727+19+/linux-3.17-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_stall_and_restart [6855+26+/linux-3.17-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_std_request [16422+20+/linux-3.17-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_xfer_complete [20545+22+/linux-3.17-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_xfernotready [23781+21+/linux-3.17-rc1/drivers/usb/dwc3/ep0.c]
dwc3_gadget_conndone_interrupt [57245+30+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_disconnect_interrupt [54464+32+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_ep0_set_halt [7395+24+/linux-3.17-rc1/drivers/usb/dwc3/ep0.c]
dwc3_gadget_ep_dequeue [31397+22+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_ep_disable [19066+22+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_ep_set_wedge [33448+24+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_giveback [5989+20+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_interrupt [63497+21+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_linksts_change_interrupt [60130+36+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_reset_interrupt [54912+27+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_resume [70711+18+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_start [39338+17+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_stop [41847+16+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_suspend [70524+19+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_process_event_buf [65261+22+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_process_event_entry [64768+24+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_remove_requests [16192+20+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_resume [21354+11+/linux-3.17-rc1/drivers/usb/dwc3/core.c]
dwc3_resume_gadget [52175+18+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_stop_active_transfers [53677+26+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_suspend [20768+12+/linux-3.17-rc1/drivers/usb/dwc3/core.c]
dwc3_suspend_gadget [51962+19+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]
dwc3_thread_interrupt [66386+21+/linux-3.17-rc1/drivers/usb/dwc3/gadget.c]